Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension

نویسندگان

  • Jidi Zhao
  • Harold Boley
چکیده

The Rule Interchange Format (RIF) is an emerging W3C format that allows rules to be exchanged between rule systems. Uncertainty is an intrinsic feature of real world knowledge, hence it is important to take it into account when building logic rule formalisms. However, the set of truth values in the Basic Logic Dialect (RIF-BLD) currently consists of only two values (t and f). In this paper, we first present two techniques of encoding uncertain knowledge and its fuzzy semantics in RIF-BLD presentation syntax. We then propose an extension leading to an Uncertainty Rule Dialect (RIF-URD) to support a direct representation of uncertain knowledge. In addition, rules in Logic Programs (LP) are often used in combination with the other widely-used knowledge representation formalism of the Semantic Web, namely Description Logics (DL), in order to provide greater expressive power. To prepare DL as well as LP extensions, we present a fuzzy extension to Description Logic Programs (DLP), called Fuzzy DLP, and discuss its mapping to RIF. Such a formalism not only combines DL with LP, as in DLP, but also supports uncertain knowledge representation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Representing Uncertainty in RuleML

The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for representing rule-based languages capable of handling uncertainty and vagueness. It is desirable to have a general extension of RuleML which accommodates major existing languages proposed in the latest two decades. T...

متن کامل

Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain

In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR, SWRL and RIF. We also present the Legal Knowledge Interchange Format (LKIF), a new rule interchange format developed specifically for applications in the legal domain.

متن کامل

An Integrated Rule Modeling Framework

This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of services, which facilitate the development and debugging of rule-based applications and rules for the Semantic Web. We describe how the framework can be used by software engineers and how Semantic Web rule modelers can benefit from...

متن کامل

Rule Interchange in the Semantic Web

Rule interchange has become one of the most important issues in the Semantic Web. As a recommendation of the W3C (WWW Consortium), RIF (Rule Interchange Format) is dedicated to rule interchange between different rule languages. To be a general rule interchange format, RIF should first support rule interchange with SWRL (Semantic Web Rule Language), RuleML (Rule Markup Language), R2ML (REWERSE R...

متن کامل

An uncertainty interchange format for multi-agent systems based on imprecise probabilities

In multi-agent systems, there is the need to exchange uncertain information between distinct and independently developed software components. This requires that such components share a common uncertainty interchange format and poses, therefore, a serious and still poorly considered problem, in face of the variety of existing uncertainty theories. In fact, imposing that all components adopt the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008